A methodology for producing reliable software, volume 2

For abstract, see Vol. 1

A methodology for producing reliable software, volume 1

An investigation into the areas having an impact on producing reliable software including automated verification tools, software modeling, testing techniques, structured programming, and management techniques is presented. This final report contains the results of this investigation, analysis of each technique, and the definition of a methodology for producing reliable software

Roles of Communication Centers in Communicating Science: A Multi-Disciplinary Forum

This multi-disclipinary forum addresses how Communication Centers bridge the gaps between scientists and their public constituents, provides ways to teach scientific communication from the voice of a scientist, and invokng the perspective of science and technology studies, a reflection on how to bridge epistemological divides that often lead to confrontational relationships between scientists and non-scientists is offered

Book Reviews

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/98242/1/jawr12062.pd

Hematology and Clinical Chemistry Reference Ranges for Laboratory-Bred Natal Multimammate Mice (Mastomys natalensis)

Laboratory-controlled physiological data for the multimammate rat (Mastomys natalensis) are scarce, despite this species being a known reservoir and vector for zoonotic viruses, including the highly pathogenic Lassa virus, as well as other arenaviruses and many species of bacteria. For this reason, M. natalensis is an important rodent for the study of host-virus interactions within laboratory settings. Herein, we provide basic blood parameters for age- and sex-distributed animals in regards to blood counts, cell phenotypes and serum chemistry of a specific-pathogen-monitored M.natalensis breeding colony, to facilitate scientific insight into this important and widespread rodent species.Peer Reviewe

The Arecibo Arp 220 Spectral Census I: Discovery of the Pre-Biotic Molecule Methanimine and New Cm-wavelength Transitions of Other Molecules

An on-going Arecibo line search between 1.1 and 10 GHz of the prototypical starburst/megamaser galaxy, Arp 220, has revealed a spectrum rich in molecular transitions. These include the ``pre-biotic'' molecules: methanimine (CH$_{2}$NH) in emission, three $v_{2}=1$ direct l-type absorption lines of HCN, and an absorption feature likely to be from either $^{18}$OH or formic acid (HCOOH). In addition, we report the detection of two, possibly three, transitions of $\lambda$4-cm excited OH not previously detected in Arp~220 which are seen in absorption, and a possible absorption feature from the 6.668-GHz line of methanol. This marks the first distant extragalactic detection of methanimine, a pre-biotic molecule. Also, if confirmed, the possible methanol absorption line presented here would represent the first extragalactic detection of methanol at a distance further than 10 Mpc. In addition, the strong, previously undetected, cm-wave HCN $v_{2}=1$ direct l-type lines will aid the study of dense molecular gas and active star-forming regions in this starburst galaxy.Comment: 25 pages, 10 figures. Accepted for publication in A

Electropolymerized Pyrrole Based Conductive Polymeric Ionic Liquids and their Application for Solid-Phase Microextraction

Pyrrole was covalently bonded to 1-methyl and 1-benzylimidazolium ionic liquids (ILs) via an N-substituted alkyl linkage to prepare electropolymerizable IL monomers with excellent thermal stability. The methylimidazolium IL, [pyrrole-C6MIm]+, was then electropolymerized on macro- and microelectrode materials to form conductive polymeric IL (CPIL)-modified surfaces. Electrochemical characterization of a 1.6 mm diameter Pt disk electrode modified with poly[pyrrole-C6MIm]+ demonstrated a selective uptake for an anionic redox probe while rejecting a cationic redox probe. Furthermore, electropolymerization of [pyrrole-C6MIm]+ doped with single-walled carbon nanotubes (SWNT) on 125 μm platinum wires produced 42 μm thick poly[pyrrole-C6MIm]+/SWNT films compared to 17 μm in the absence of SWNT and 5 μm for the previously reported poly[thiophene-C6MIm]+ coatings. The poly[pyrrole-C6MIm]+/SWNT films were prepared with reproducible thicknesses as well as thermal properties sufficient for high-temperature applications, such as solid-phase microextraction (SPME) with gas chromatographic analysis. The utilization of the CPIL sorbent materials in SPME experiments provided excellent extraction efficiencies and selectivity toward organic aromatic analytes. The CPIL sorbent coatings also yielded outstanding fiber-to-fiber reproducibility on the basis of extraction efficiencies and improved response for a range of analytes relative to commercial 100 μm poly(dimethylsiloxane) fibers when normalized for differences in film thickness. Poly[pyrrole-C6MIm]+ CPIL coatings doped with SWNT are therefore promising new sorbent materials for SPME analyses

Optimal Traffic Networks

Inspired by studies on the airports' network and the physical Internet, we propose a general model of weighted networks via an optimization principle. The topology of the optimal network turns out to be a spanning tree that minimizes a combination of topological and metric quantities. It is characterized by a strongly heterogeneous traffic, non-trivial correlations between distance and traffic and a broadly distributed centrality. A clear spatial hierarchical organization, with local hubs distributing traffic in smaller regions, emerges as a result of the optimization. Varying the parameters of the cost function, different classes of trees are recovered, including in particular the minimum spanning tree and the shortest path tree. These results suggest that a variational approach represents an alternative and possibly very meaningful path to the study of the structure of complex weighted networks.Comment: 4 pages, 4 figures, final revised versio

Searching for Saturn's Dust Swarm: Limits on the size distribution of Irregular Satellites from km to micron sizes

We describe a search for dust created in collisions between the Saturnian irregular satellites using archival \emph{Spitzer} MIPS observations. Although we detected a degree scale Saturn-centric excess that might be attributed to an irregular satellite dust cloud, we attribute it to the far-field wings of the PSF due to nearby Saturn. The Spitzer PSF is poorly characterised at such radial distances, and we expect PSF characterisation to be the main issue for future observations that aim to detect such dust. The observations place an upper limit on the level of dust in the outer reaches of the Saturnian system, and constrain how the size distribution extrapolates from the smallest known (few km) size irregulars down to micron-size dust. Because the size distribution is indicative of the strength properties of irregulars, we show how our derived upper limit implies irregular satellite strengths more akin to comets than asteroids. This conclusion is consistent with their presumed capture from the outer regions of the Solar System.Comment: accepted to MNRA

Inoculation route-dependent Lassa virus dissemination and shedding dynamics in the natural reservoir – Mastomys natalensis

Lassa virus (LASV), a Risk Group-4 zoonotic haemorrhagic fever virus, affects sub-Saharan African countries. Lassa fever, caused by LASV, results in thousands of annual deaths. Although decades have elapsed since the identification of the Natal multimammate mouse (Mastomys natalensis) as a natural reservoir of LASV, little effort has been made to characterize LASV infection in its reservoir. The natural route of infection and transmission of LASV within M. natalensis remains unknown, and the clinical impact of LASV in M. natalensis is mostly undescribed. Herein, using an outbred colony of M. natalensis, we investigate the replication and dissemination dynamics of LASV in this reservoir following various inoculation routes. Inoculation with LASV, regardless of route, resulted in a systemic infection and accumulation of abundant LASV-RNA in many tissues. LASV infection in the Natal multimammate mice was subclinical, however, clinical chemistry values were transiently altered and immune infiltrates were observed histologically in lungs, spleens and livers, indicating a minor disease with coordinated immune responses are elicited, controlling infection. Intranasal infection resulted in unique virus tissue dissemination dynamics and heightened LASV shedding, compared to subcutaneous inoculation. Our study provides important insights into LASV infection in its natural reservoir using a contemporary infection system, demonstrating that specific inoculation routes result in disparate dissemination outcomes, suggesting intranasal inoculation is important in the maintenance of LASV in the natural reservoir, and emphasizes that selection of the appropriate inoculation route is necessary to examine aspects of viral replication, transmission and responses to zoonotic viruses in their natural reservoirs.Peer Reviewe